#include <x86.h> /* disable() */
//main.c
void kprintf(const char *fmt, ...);

static const char * drive_types[8] = {
    "none",
    "360kB 5.25\"",
    "1.2MB 5.25\"",
    "720kB 3.5\"",

    "1.44MB 3.5\"",
    "2.88MB 3.5\"",
    "unknown type",
    "unknown type"
}; 

// Obviously you'd have this return the data, start drivers or something.
void floppy_detect_drives(void) {

   outportb(0x70, 0x10);
   unsigned drives = inportb(0x71);
   kprintf("Floppy Drivers: ");	
   kprintf("fd0: %s, ", drive_types[drives >> 4]);
   kprintf("fd1: %s\n", drive_types[drives & 0xf]);

}
